structural type system

線形型システムが線形論理に対応してるような感じで、structural logicsという、一般的な論理で認められる各種の操作（規則）を制限した論理体系があり、そいつらに対応した型システムが存在する